package com.Clause;

public class ClauseElement {

	protected ClauseProxy suivant=null;
	
	public ClauseProxy getSuivant(){
		return suivant;
	}
	
	public ClauseElement getElementSuivant(){
		return suivant.getElement();
	}
	
	public void setElementSuivant(ClauseElement suivant){
		this.suivant = new ClauseProxy(suivant);
	}
	
	public void setSuivant(ClauseProxy proxy){
		this.suivant = proxy;
	}
	
	public ClauseElement copie(){
		ClauseElement c = new ClauseElement();
		if(suivant != null)
			c.suivant = new ClauseProxy(suivant.getElement().copie());
		return c;
	}
	
	public String toPrologString(){
		return this.toString();
	}
	
}
